Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 12.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003E48 | Frédéric Blanqui [République populaire de Chine] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | The computability path ordering: the end of a quest |
| 004297 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | The Computability Path Ordering: The End of a Quest |
| 004697 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | HORPO with Computability Closure : A Reconstruction |
| 004C56 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | HORPO with Computability Closure: A Reconstruction |
| 005470 | Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | Higher-Order Termination: From Kruskal to Computability |
| 006216 | Mirtha-Lina Fernández [Cuba] ; Guillem Godoy [Espagne] ; Albert Rubio [Espagne] | Orderings for Innermost Termination |
| 006B45 | Miquel Bofill [Espagne] ; Albert Rubio [Espagne] | Redundancy Notions for Paramodulation with Non-monotonic Orderings |
| 009E62 | Miquel Bofill [Espagne] ; Guillem Godoy [Espagne] ; Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Modular Redundancy for Theorem Proving |
| 00AA64 | Albert Rubio [Espagne] | A Fully Syntactic AC-RPO |
| 00BC26 | Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Paramodulation with Built-in AC-Theories and Symbolic Constraints |
| 00CD56 | Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | AC-superposition with constraints: No AC-unifiers needed |
| 00D689 | Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Basic superposition is complete |
| This area was generated with Dilib version V0.6.33. |  |